以“不可能p”为前提，根据模态逻辑方阵,可必然推出的结论是（）

• A、必然非p
• B、必然p
• C、不可能非P
• D、可能p
• E、并非必然p

如果甲乙两灯都亮，那么丙灯就一定亮;但是丙灯没有亮,由此可见（）

• A、甲乙两灯都没有亮
• B、甲灯亮,但是乙灯没有亮
• C、乙灯亮,但是甲灯没有亮
• D、甲乙两灯至少有一个没有亮

A、B、C三位同学一起做一道数学题,三人得出三种不同答案。现已知:业

(1)如果A的答案正确，则B的答案不正确;

(2)B和C中至少有一人答案正确;

(3)A和C中至少有一人答案不正确。

请问:A的答案是否正确?写出推导过程(设:A表示“A答案正确”，表示“A答案不正确”,其他类同)。